home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group01b.txt / 000013_icon-group-sender _Mon Jul 24 09:07:26 2000.msg < prev    next >
Internet Message Format  |  2002-01-03  |  3KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.9.1a/8.9.1) id JAA07485
  4.     for icon-group-addresses; Mon, 24 Jul 2000 09:07:17 -0700 (MST)
  5. Message-Id: <200007241607.JAA07485@baskerville.CS.Arizona.EDU>
  6. Date: Mon, 24 Jul 2000 08:24:06 -0700
  7. From: Steve Wampler <swampler@noao.edu>
  8. X-Accept-Language: en
  9. To: Todd Nathan <todd@palomablanca.net>,
  10.         icon-group <icon-group@optima.CS.Arizona.EDU>
  11. Subject: Re: deep write()?
  12. Errors-To: icon-group-errors@optima.CS.Arizona.EDU
  13. Status: RO
  14. Content-Length: 2276
  15.  
  16. Todd Nathan wrote:
  17. > 
  18. > Is there a deep write method.
  19. > 
  20. > Just come came across what I suspect there to be a weakness
  21. > inherent in the function write().  No knowing how to do repeated
  22. > recursive diggin, how would someone write a deep write...
  23. > 
  24. > The following fails.
  25. > 
  26. > procedure main ()
  27. > 
  28. >  car1 := ["buick", "skylark", 1978, 2450]
  29. >  car2 := ["bmw", "535is", 1987, 3000]
  30. > 
  31. >  inventory := [car1, car2]
  32. > 
  33. >  write (inventory)
  34. > 
  35. > end
  36.  
  37. When write() encounters an argument that can't be converted to
  38. type string, it uses the image() function to display it.  What
  39. you're really asking for is a "deep" image() function.
  40.  
  41. Because Icon structures can contain *anything* including
  42. references to themselves, a deep image is non-trivial, though
  43. possible.
  44.  
  45. Consider, for example, what the output should be if the
  46. above line:
  47.  
  48.     inventory := [car1, car2]
  49.  
  50. were followed by
  51.  
  52.     put(inventory, inventory)
  53.  
  54. (perfectly legal code, if meaningless in this context...)
  55.  
  56. What should the deep image (and hence write()) produce?
  57.  
  58. A general purpose deep image has got to be able to handle the above.
  59. It's probably simpler to write a special-purpose one yourself
  60. if you are *absolutely* certain your structures are not cyclic graphs.
  61.  
  62. > I would like to see the 'write (inventory)' work as a deep
  63. > write....
  64.  
  65. Well, here's one to deep write a list, assuming the list is
  66. acyclic.  (Handling a cyclic structure is left as an exercise... :)
  67.  
  68. procedure deepWrite(args[])
  69.    outfile := &output
  70.    every arg := !args do {
  71.       case type(arg) of {
  72.           "file": outfile := arg
  73.           default:  writes(outfile, deepImage(arg))
  74.           }
  75.       }
  76.    write(outfile)
  77. end
  78.  
  79. procedure deepImage(arg)
  80.    local resultString
  81.  
  82.    if string(arg) then return string(arg)
  83.    case type(arg) of {
  84.        "list": {
  85.             resultString := "["
  86.             every resultString ||:= deepImage(!arg) || ","
  87.             resultString[-1] := "]"     # change last , to ]
  88.             return resultString
  89.             }
  90.        default: return image(arg)       # cop out on other structures
  91.        }
  92.  
  93. end
  94.  
  95.  
  96. Note that this code *depends* on any list passed to deepImage as being
  97. acyclic - it *won't* work on cyclic structures!
  98.  
  99. --
  100. Steve Wampler-  SOLIS Project, National Solar Observatory
  101. swampler@noao.edu
  102.